<html>
<head><meta charset="utf-8"><title>more sprint issues · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html">more sprint issues</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="193956729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956729">(Apr 14 2020 at 21:01)</a>:</h4>
<p>(let's talk about getting more sprint issues in a different topic)</p>



<a name="193956745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956745">(Apr 14 2020 at 21:02)</a>:</h4>
<p>(beat me to that)</p>



<a name="193956840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956840">(Apr 14 2020 at 21:02)</a>:</h4>
<p>(I want me some issues, otherwise Ill have to do benchmarking, ew)</p>



<a name="193956893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956893">(Apr 14 2020 at 21:03)</a>:</h4>
<p>Let me just split this off then</p>



<a name="193956934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956934">(Apr 14 2020 at 21:03)</a>:</h4>
<p><span aria-label="astonished" class="emoji emoji-1f632" role="img" title="astonished">:astonished:</span>how did you split it off</p>



<a name="193956979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956979">(Apr 14 2020 at 21:04)</a>:</h4>
<p>when you edit the topic</p>



<a name="193956981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956981">(Apr 14 2020 at 21:04)</a>:</h4>
<p>of a message</p>



<a name="193956988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956988">(Apr 14 2020 at 21:04)</a>:</h4>
<p>I know you can, but maybe I'm missing some ui</p>



<a name="193956998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193956998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193956998">(Apr 14 2020 at 21:04)</a>:</h4>
<p>it gives you the choice to "change topic for this message and all later messages"</p>



<a name="193957010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957010">(Apr 14 2020 at 21:04)</a>:</h4>
<p>oh</p>



<a name="193957013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957013">(Apr 14 2020 at 21:04)</a>:</h4>
<p>nice</p>



<a name="193957028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957028">(Apr 14 2020 at 21:04)</a>:</h4>
<p>it'd be nice if you could select individual messages sometimes</p>



<a name="193957033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957033">(Apr 14 2020 at 21:04)</a>:</h4>
<p>but still pretty useful</p>



<a name="193957062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957062">(Apr 14 2020 at 21:05)</a>:</h4>
<p>so, super simple issue someone could pick up: <a href="https://github.com/rust-lang/chalk/issues/260" title="https://github.com/rust-lang/chalk/issues/260">https://github.com/rust-lang/chalk/issues/260</a></p>



<a name="193957077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957077">(Apr 14 2020 at 21:05)</a>:</h4>
<p>You can even split of someone else's message</p>



<a name="193957207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957207">(Apr 14 2020 at 21:06)</a>:</h4>
<p>OK, so,m</p>



<a name="193957224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957224">(Apr 14 2020 at 21:06)</a>:</h4>
<p>in terms of "shared type library" <a href="https://github.com/rust-lang-nursery/chalk/issues/16" title="https://github.com/rust-lang-nursery/chalk/issues/16">chalk#16</a>, apart from rustc refactorings,</p>



<a name="193957238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957238">(Apr 14 2020 at 21:06)</a>:</h4>
<p>there's work to do in terms of adding more variants and things to chalk</p>



<a name="193957255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957255">(Apr 14 2020 at 21:06)</a>:</h4>
<p>for example, our <code>Fn</code> type -- besides probably having the wrong name -- can't represent ABI, etc</p>



<a name="193957273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957273">(Apr 14 2020 at 21:06)</a>:</h4>
<p>I could create a few issues related to that</p>



<a name="193957469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957469">(Apr 14 2020 at 21:08)</a>:</h4>
<p>I'm thinking though that to engage <span class="user-mention" data-user-id="251766">@Areredify</span> I should find something a bit harder ;) I'm looking over the <a href="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html" title="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html">skill tree</a>, it seems like some of the bigger areas are: sem-vs-syn-equality, subtyping-and-regions</p>



<a name="193957480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957480">(Apr 14 2020 at 21:09)</a>:</h4>
<p>but those have more unknowns</p>



<a name="193957482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957482">(Apr 14 2020 at 21:09)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> I think you have to make mentoring notes for that, I have no idea how do you test for unwind safety for example</p>



<a name="193957500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957500">(Apr 14 2020 at 21:09)</a>:</h4>
<p>Oh, gimme gimme</p>



<a name="193957533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957533">(Apr 14 2020 at 21:09)</a>:</h4>
<p>I can put my full time efforts into whatever</p>



<a name="193957576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957576">(Apr 14 2020 at 21:10)</a>:</h4>
<p>I'll also create an issue to create benchmarks, in case anyone does not dislike that</p>



<a name="193957588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957588">(Apr 14 2020 at 21:10)</a>:</h4>
<p>Haha, I will make some notes for the unwind safety</p>



<a name="193957645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957645">(Apr 14 2020 at 21:10)</a>:</h4>
<p>I thought you can do <code>@rustbot assign @user</code></p>



<a name="193957646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957646">(Apr 14 2020 at 21:10)</a>:</h4>
<p>I think creating some benchmarks is a great idea</p>



<a name="193957655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957655">(Apr 14 2020 at 21:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/more.20sprint.20issues/near/193957645" title="#narrow/stream/144729-wg-traits/topic/more.20sprint.20issues/near/193957645">said</a>:</p>
<blockquote>
<p>I thought you can do <code>@rustbot assign @user</code></p>
</blockquote>
<p>you can ?</p>



<a name="193957685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957685">(Apr 14 2020 at 21:11)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/351" title="https://github.com/rust-lang/chalk/issues/351">https://github.com/rust-lang/chalk/issues/351</a></p>



<a name="193957785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957785">(Apr 14 2020 at 21:12)</a>:</h4>
<p>only members can do that</p>



<a name="193957798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957798">(Apr 14 2020 at 21:12)</a>:</h4>
<p><a href="https://github.com/rust-lang/triagebot/wiki/Assignment" title="https://github.com/rust-lang/triagebot/wiki/Assignment">https://github.com/rust-lang/triagebot/wiki/Assignment</a></p>



<a name="193957843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957843">(Apr 14 2020 at 21:12)</a>:</h4>
<p>I'm a member :)</p>



<a name="193957874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957874">(Apr 14 2020 at 21:13)</a>:</h4>
<p>but I guess I might not have the perms for that</p>



<a name="193957941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193957941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193957941">(Apr 14 2020 at 21:13)</a>:</h4>
<p>Why does it say contributor in github?</p>



<a name="193958027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958027">(Apr 14 2020 at 21:14)</a>:</h4>
<p>I don't think have my membership public</p>



<a name="193958061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958061">(Apr 14 2020 at 21:14)</a>:</h4>
<p>ooh</p>



<a name="193958430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958430">(Apr 14 2020 at 21:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> might know</p>



<a name="193958475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958475">(Apr 14 2020 at 21:19)</a>:</h4>
<p>ah need to be in rust-lang/team</p>



<a name="193958486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958486">(Apr 14 2020 at 21:19)</a>:</h4>
<p>and possibly a 'team' member?</p>



<a name="193958493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958493">(Apr 14 2020 at 21:19)</a>:</h4>
<p>we whitelist wg-triage</p>



<a name="193958547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958547">(Apr 14 2020 at 21:20)</a>:</h4>
<p>(that's the current state, can obviously be relaxed)</p>



<a name="193958586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958586">(Apr 14 2020 at 21:20)</a>:</h4>
<p>I am in wg-triage</p>



<a name="193958600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958600">(Apr 14 2020 at 21:20)</a>:</h4>
<p>whoops</p>



<a name="193958608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958608">(Apr 14 2020 at 21:21)</a>:</h4>
<p>traits</p>



<a name="193958614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958614">(Apr 14 2020 at 21:21)</a>:</h4>
<p>misread that</p>



<a name="193958642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958642">(Apr 14 2020 at 21:21)</a>:</h4>
<p><span aria-label="flushed" class="emoji emoji-1f633" role="img" title="flushed">:flushed:</span></p>



<a name="193958677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958677">(Apr 14 2020 at 21:21)</a>:</h4>
<p>hmm</p>



<a name="193958681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958681">(Apr 14 2020 at 21:21)</a>:</h4>
<p>I think the list for chalk should be wg-traits</p>



<a name="193958755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958755">(Apr 14 2020 at 21:22)</a>:</h4>
<p>yeah haha</p>



<a name="193958764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193958764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193958764">(Apr 14 2020 at 21:22)</a>:</h4>
<p>can we configure this by editing <a href="https://github.com/rust-lang/chalk/blob/master/triagebot.toml" title="https://github.com/rust-lang/chalk/blob/master/triagebot.toml">https://github.com/rust-lang/chalk/blob/master/triagebot.toml</a> ?</p>



<a name="193959085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193959085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193959085">(Apr 14 2020 at 21:25)</a>:</h4>
<p>not currently no</p>



<a name="193960926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193960926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193960926">(Apr 14 2020 at 21:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  concerning syn-vs-sem eq, do you have a branch with that or you didn't have the chance to play with it?</p>



<a name="193960994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/193960994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#193960994">(Apr 14 2020 at 21:47)</a>:</h4>
<p>I do have some branches but I'm not sure they're state, I'm going to try and post some notes in a bit</p>



<a name="194009078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194009078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194009078">(Apr 15 2020 at 10:13)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> so I left some notes in <a href="https://github.com/rust-lang/chalk/issues/364" title="https://github.com/rust-lang/chalk/issues/364">https://github.com/rust-lang/chalk/issues/364</a> -- but I was also thinking more about subtypes and outlives, and I want to leave some notes on that, because I think that's also pretty important, and possibly more urgent.</p>



<a name="194009638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194009638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194009638">(Apr 15 2020 at 10:19)</a>:</h4>
<p>Wow, that's a lot of info, thanks! One thing I wanted to note is that const unification will also have to deal with a related problem, in that when we unify two consts one of which is can't yet be evaluated, one way to deal with that is to create a pending obligation to prove that they are equal</p>



<a name="194028487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194028487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194028487">(Apr 15 2020 at 13:20)</a>:</h4>
<p>Yes, it's more or less the same problem, and I had expected them to be handled in analogous ways -- unevaluated constants are effectively "aliases".</p>



<a name="194028626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194028626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194028626">(Apr 15 2020 at 13:21)</a>:</h4>
<p>Yeah, after reading  through your design I realised that consts would be handled the same as lifetimes</p>



<a name="194032363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194032363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194032363">(Apr 15 2020 at 13:46)</a>:</h4>
<p>That's..actually interesting. I wasn't thinking quite like that, but that could be an interesting model.</p>



<a name="194032420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194032420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194032420">(Apr 15 2020 at 13:46)</a>:</h4>
<p>I'm not sure if it's really possible though</p>



<a name="194032484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194032484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194032484">(Apr 15 2020 at 13:47)</a>:</h4>
<p>in particular, lifetime constraints are deferred and can't influence what impl we wind up using, for the most part (modulo higher-ranked stuff, which we're still working out)</p>



<a name="194032508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194032508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194032508">(Apr 15 2020 at 13:47)</a>:</h4>
<p>I don't think we can do that for const generics because of backwards compatibility, if nothing else</p>



<a name="194032537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194032537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194032537">(Apr 15 2020 at 13:47)</a>:</h4>
<p>in patricular, if you have <code>impl Foo for [T; 1]</code> and <code>impl Foo for [T; 2]</code>, that's allowed today</p>



<a name="194035780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194035780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194035780">(Apr 15 2020 at 14:09)</a>:</h4>
<p>I don't get what you are trying to illustrate with that example</p>



<a name="194036329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194036329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194036329">(Apr 15 2020 at 14:12)</a>:</h4>
<p>We would generate<br>
<code>forall&lt;const N&gt; { Implemented([T; N]: Foo) :- Equal(N, 1) }</code></p>



<a name="194038690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194038690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194038690">(Apr 15 2020 at 14:27)</a>:</h4>
<p>What I am referring to is that, with lifetimes, we have the additional "quirk" that we propagate out equality / outlives constraints to be solved by a later pass (or not, in some cases).</p>



<a name="194038834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194038834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194038834">(Apr 15 2020 at 14:28)</a>:</h4>
<p>And I was wondering if instead of having chalk have some callback that tries to evaluate a constant to a final value, we could conceivably propagate such conditions back out to be solved by the compiler "later", but I think we cannot</p>



<a name="194039648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194039648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194039648">(Apr 15 2020 at 14:34)</a>:</h4>
<p>I can't see how any of <code>SemEq</code> transformations could introduce problems, but I guess that's what experimenting is for</p>



<a name="194039904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194039904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194039904">(Apr 15 2020 at 14:36)</a>:</h4>
<p>(except solver problems, because I don't know the details of how both solvers work)</p>



<a name="194042575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194042575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194042575">(Apr 15 2020 at 14:52)</a>:</h4>
<p>It's not about those transformations</p>



<a name="194042606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194042606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194042606">(Apr 15 2020 at 14:52)</a>:</h4>
<p>It's about what it takes judge <code>Equal(N, 1)</code> provable</p>



<a name="194042636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194042636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194042636">(Apr 15 2020 at 14:52)</a>:</h4>
<p>Anyway never mind it's kind of me going down a rabbit hole that isn't what you intended and wouldn't work anyway</p>



<a name="194045632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194045632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194045632">(Apr 15 2020 at 15:12)</a>:</h4>
<p>What Im interested in is how to share the inference table with rustc</p>



<a name="194045684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194045684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194045684">(Apr 15 2020 at 15:12)</a>:</h4>
<p>To actually eval something</p>



<a name="194067799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194067799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194067799">(Apr 15 2020 at 17:51)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/more.20sprint.20issues/near/194038834" title="#narrow/stream/144729-wg-traits/topic/more.20sprint.20issues/near/194038834">said</a>:</p>
<blockquote>
<p>And I was wondering if instead of having chalk have some callback that tries to evaluate a constant to a final value, we could conceivably propagate such conditions back out to be solved by the compiler "later", but I think we cannot</p>
</blockquote>
<p>I've been thinking about this too. I think, if we <em>could</em> do this,  it would be "better". But at least with the current way that we get answers (where we make some progress, find an answer maybe eventually, then repeat until we get some generalized answer, then return that), it might not be possible</p>



<a name="194203426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/194203426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#194203426">(Apr 15 2020 at 17:53)</a>:</h4>
<p>I <em>could</em> imagine that we sort of split that up. Where we make some progress, return a <em>partial</em> answer (or one with some set of unknown delayed subgoals (like <code>Equal(N, 1)</code> above, let the caller try to sort out what it can, then continue trying to make progress where we can, with potentially more information</p>



<a name="195759482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195759482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195759482">(Apr 29 2020 at 19:34)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> I was wondering whether you can recommend some other issues that might be a good fir to work on after <a href="https://github.com/rust-lang/chalk/pull/420" title="https://github.com/rust-lang/chalk/pull/420">https://github.com/rust-lang/chalk/pull/420</a> got merged. Something that forces me to understand things in a bit more detail would be pretty great :) Thanks in advance !</p>



<a name="195759533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195759533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195759533">(Apr 29 2020 at 19:35)</a>:</h4>
<p>Hmm, let me look :)</p>



<a name="195759696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195759696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195759696">(Apr 29 2020 at 19:37)</a>:</h4>
<p>So there is this one now: <a href="https://github.com/rust-lang/chalk/issues/399" title="https://github.com/rust-lang/chalk/issues/399">https://github.com/rust-lang/chalk/issues/399</a></p>



<a name="195759780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195759780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195759780">(Apr 29 2020 at 19:37)</a>:</h4>
<p>I think most of the work there is essentially copying what we do in the SLG solver</p>



<a name="195759787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195759787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195759787">(Apr 29 2020 at 19:37)</a>:</h4>
<p>(i.e. <code>chalk-engine</code>)</p>



<a name="195759967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195759967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195759967">(Apr 29 2020 at 19:39)</a>:</h4>
<p>Alright.. I guess that can have some nice didactic results</p>



<a name="195759993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195759993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195759993">(Apr 29 2020 at 19:39)</a>:</h4>
<p>So it is not too hard ?</p>



<a name="195760062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760062">(Apr 29 2020 at 19:40)</a>:</h4>
<p>It shouldn't be <em>too</em> difficult</p>



<a name="195760098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760098">(Apr 29 2020 at 19:40)</a>:</h4>
<p>The biggest thing is you'll have to look through how coinduction is handled in SLG</p>



<a name="195760116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760116">(Apr 29 2020 at 19:40)</a>:</h4>
<p>and also how it might be a bit different in the recursive solver</p>



<a name="195760184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760184">(Apr 29 2020 at 19:41)</a>:</h4>
<p>I haven't really looked at it, so I can't give any mentoring instructions <em>right now</em>. But I can answer questions and point you to relevant documentation.</p>



<a name="195760209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760209">(Apr 29 2020 at 19:41)</a>:</h4>
<p>Thanks, that sounds great. Are there any more tips, like pointers to where this is handled in the SLG solver, etc</p>



<a name="195760223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760223">(Apr 29 2020 at 19:41)</a>:</h4>
<p>And I can look through later tonight and get a better feel</p>



<a name="195760227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760227">(Apr 29 2020 at 19:42)</a>:</h4>
<p>okey I will just try and dig in</p>



<a name="195760305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760305">(Apr 29 2020 at 19:42)</a>:</h4>
<p>okey, that will be much appreciated. any information will be useful</p>



<a name="195760306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760306">(Apr 29 2020 at 19:42)</a>:</h4>
<p>Relevant documentation for SLG coinduction: <a href="http://rust-lang.github.io/chalk/book/engine/logic/coinduction.html" title="http://rust-lang.github.io/chalk/book/engine/logic/coinduction.html">http://rust-lang.github.io/chalk/book/engine/logic/coinduction.html</a></p>



<a name="195760361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760361">(Apr 29 2020 at 19:43)</a>:</h4>
<p>great!</p>



<a name="195760368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760368">(Apr 29 2020 at 19:43)</a>:</h4>
<p>will dig in</p>



<a name="195760393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/more%20sprint%20issues/near/195760393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/more.20sprint.20issues.html#195760393">(Apr 29 2020 at 19:43)</a>:</h4>
<p>Then grep for "coinductive" or "coinduction" in <code>logic.rs</code></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>